Saturated free algebras revisited
نویسندگان
چکیده
We give an exposition of results of Baldwin-Shelah [2] on saturated free algebras, at the level of generality of complete first order theories T with a saturated model M which is in the algebraic closure of an indiscernible set. We then make some new observations when M is a saturated free algebra, analogous to (more difficult) results for the free group, such as a description of forking.
منابع مشابه
Free Heyting Algebras: Revisited
We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 0-1 axioms. In the process of constructing free Heyting algebras we first apply existing methods to weak Heyting algebras—the rank 1 reducts of Heyting algebras—and then adjust them to the mixed rank 0-1 axioms. On the negative side, our work shows that one cannot use arbitr...
متن کاملFree modal algebras revisited: the step-by-step method
We review the step-by-step method of constructing finitely generated free modal algebras. First we discuss the global step-by-step method, which works well for rank one modal logics. Next we refine the global step-by-step method to obtain the local step-by-step method, which is applicable beyond rank one modal logics. In particular, we show that it works well for constructing the finitely gener...
متن کاملAlgebras of shapes revisited
This paper aims to contribute to a better understanding of algebras of shapes as they are applied in a design theory, which involves shape grammars. Three different formats of these algebras, which (surprisingly) differ in behavior, will be explored. Some earlier informal ideas on algebras of shapes will be revisited and a formal underpinning will be provided. In particular, two different sums ...
متن کاملParacategories I: internal paracategories and saturated partial algebras
Based on the monoid classifier ∆, we give an alternative axiomatization of Freyd’s paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a free-monoid monad T in our ambient category, and coequalisers satisfying some exactness conditions, we give an abstract envelope construction, putting paramonoids (and paracategories) in the more general context of ...
متن کاملThe “Man with Serpents” revisited. On a Figurated Pin from the Bronze Age Site of Shahdad (Kerman, Iran)
We discuss a figured pin from Shahdad, previously well known but published with a partial and unsatisfactory drawing. More detailed observations and a new, more realistic recording of this important artifact reconsider its stylistic and iconographic links with the imagery of the Halil Rud civilization and the eastern Iranian Plateau in general, and, at its opposite cultural poles, with Mesopot...
متن کامل